منابع مشابه
Design and Implementation of Self-validating Pneumatic Actuator Hardware System Based on DSP and MCU
Self-validating (SEVA) pneumatic actuator is a new generation of actuator which can not only give the corresponding output according to the input control variable but also give the accuracy of the control output and status of the actuator itself and other information. A dual processor system is implemented using C8051F060 and TMS320F28335 to acquire the signals and complete fault detection, dia...
متن کاملSelf-validating Methods
We present some ideas on self-validating (SV) methods. This note is especially intended to give some background for the articles in this special volume of LAA. It is not intended to be a survey of the big variety of all possible aspects of SV-methods but rather a summary of some basic concepts. Especially, some common misconceptions are mentioned and explored.
متن کاملOn Self-Validating Rule Bases
In this paper, we analyze a recent trend in software engineering (SE), test driven development, and discuss how it can be adapted to define self validating rule bases. We argue that test cases can be used to specify the semantics of rules, and that the presence of these test cases safeguards the life cycle of rules. We introduce an abstract conceptual framework, in the tradition of Tarski, that...
متن کاملSelf-validating Optimum Currency Areas
A currency area can be a self-validating optimal policy regime, even when monetary unification does not foster real economic integration and intra-industry trade. In our model firms choose the degree of exchange rate pass-through onto export prices accounting for expected monetary policies, and monetary authorities choose optimal policy rules taking firms’ pass-through as given. We show that th...
متن کاملSelf-validating Branch-Based Software Watermarking
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, code obfuscation, and tamper detection. In this paper we present a novel dynamic software watermarking algorithm which incorporates ideas from code obfuscation and tamper detection. Our technique simultaneously provid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 1997
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)42460-8